Homotopy theory

Results: 956



#Item
11A cubical model of homotopy type theory∗ Steve Awodey Stockholm, 21 June 2016 The main goal of these notes is to prove the following: Theorem. There is an algebraic weak factorization system (L, R) on the category of c

A cubical model of homotopy type theory∗ Steve Awodey Stockholm, 21 June 2016 The main goal of these notes is to prove the following: Theorem. There is an algebraic weak factorization system (L, R) on the category of c

Add to Reading List

Source URL: www.andrew.cmu.edu

- Date: 2018-02-12 22:13:01
    12MODEL STRUCTURE ON THE UNIVERSE IN A TWO LEVEL TYPE THEORY SIMON BOULIER, NICOLAS TABAREAU A BSTRACT. Last year we presented how to formalize a model structure on the universe of fibrant types in Homotopy Type System, an

    MODEL STRUCTURE ON THE UNIVERSE IN A TWO LEVEL TYPE THEORY SIMON BOULIER, NICOLAS TABAREAU A BSTRACT. Last year we presented how to formalize a model structure on the universe of fibrant types in Homotopy Type System, an

    Add to Reading List

    Source URL: hott-uf.github.io

    - Date: 2018-03-28 14:04:14
      13A COINDUCTIVE APPROACH TO TYPE VALUED EQUIVALENCE RELATIONS SIMON BOULIER, EGBERT RIJKE, AND NICOLAS TABAREAU A BSTRACT. We propose a coinductive definition of ∞-equivalence relations in Homotopy Type Theory, where the

      A COINDUCTIVE APPROACH TO TYPE VALUED EQUIVALENCE RELATIONS SIMON BOULIER, EGBERT RIJKE, AND NICOLAS TABAREAU A BSTRACT. We propose a coinductive definition of ∞-equivalence relations in Homotopy Type Theory, where the

      Add to Reading List

      Source URL: hott-uf.github.io

      - Date: 2018-03-28 14:04:14
        14UNFOLDING FOLDS MATTHEW WEAVER AND DIMITRIS TSEMENTZIS A well-known problem in Homotopy Type Theory is that of constructing objects that seemingly require infinitely many coherence conditions in their definition. One sol

        UNFOLDING FOLDS MATTHEW WEAVER AND DIMITRIS TSEMENTZIS A well-known problem in Homotopy Type Theory is that of constructing objects that seemingly require infinitely many coherence conditions in their definition. One sol

        Add to Reading List

        Source URL: hott-uf.github.io

        - Date: 2018-03-28 14:04:14
          15List of known errata in the master thesis ‘Towards a Directed Homotopy Type Theory based on 4 Kinds of Variance’ Andreas Nuyts January 27, 2016 Most of these errata are (possibly confusing) typos. Please see errata c

          List of known errata in the master thesis ‘Towards a Directed Homotopy Type Theory based on 4 Kinds of Variance’ Andreas Nuyts January 27, 2016 Most of these errata are (possibly confusing) typos. Please see errata c

          Add to Reading List

          Source URL: people.cs.kuleuven.be

          - Date: 2016-01-27 04:46:30
            16ELLIPTIC CURVES AND ALGEBRAIC TOPOLOGY MATTHEW ANDO Part 1. Elliptic curves and chromatic stable homotopy theory Elliptic curves enter algebraic topology through “Elliptic cohomology”–really a family of cohomology

            ELLIPTIC CURVES AND ALGEBRAIC TOPOLOGY MATTHEW ANDO Part 1. Elliptic curves and chromatic stable homotopy theory Elliptic curves enter algebraic topology through “Elliptic cohomology”–really a family of cohomology

            Add to Reading List

            Source URL: www.math.uiuc.edu

            - Date: 2003-08-27 15:44:38
              17Homotopy Type Theory in Lean Floris van Doorn Department of Philosophy Carnegie Mellon University leanprover.github.io

              Homotopy Type Theory in Lean Floris van Doorn Department of Philosophy Carnegie Mellon University leanprover.github.io

              Add to Reading List

              Source URL: www.math.ias.edu

              - Date: 2016-07-28 14:38:46
                18LECTURES ON EQUIVARIANT STABLE HOMOTOPY THEORY STEFAN SCHWEDE Contents 1. Orthogonal spectra 2. Equivariant orthogonal spectra

                LECTURES ON EQUIVARIANT STABLE HOMOTOPY THEORY STEFAN SCHWEDE Contents 1. Orthogonal spectra 2. Equivariant orthogonal spectra

                Add to Reading List

                Source URL: www.math.uni-bonn.de

                - Date: 2016-06-26 09:50:01
                  19Math. Z. 239, 803–Digital Object Identifier (DOIs002090100347 A uniqueness theorem for stable homotopy theory Stefan Schwede1 , Brooke Shipley2 1

                  Math. Z. 239, 803–Digital Object Identifier (DOIs002090100347 A uniqueness theorem for stable homotopy theory Stefan Schwede1 , Brooke Shipley2 1

                  Add to Reading List

                  Source URL: www.math.uni-bonn.de

                  - Date: 2003-11-07 09:15:55
                    20585 Documenta Math. Profinite Homotopy Theory Gereon Quick

                    585 Documenta Math. Profinite Homotopy Theory Gereon Quick

                    Add to Reading List

                    Source URL: documenta.sagemath.org

                    - Date: 2008-12-14 05:37:23